[INFO] fetching crate prolog-squared 1.1.0...
[INFO] testing prolog-squared-1.1.0 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate prolog-squared 1.1.0 into /workspace/builds/worker-3-tc2/source
[INFO] removed /workspace/builds/worker-3-tc2/source/.cargo/config.toml
[INFO] started tweaking crates.io crate prolog-squared 1.1.0
[INFO] finished tweaking crates.io crate prolog-squared 1.1.0
[INFO] tweaked toml for crates.io crate prolog-squared 1.1.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate prolog-squared 1.1.0 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prolog-squared 1.1.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fce1415ee93abf4a481fee3aea68e8314e095f6e495bc3e09edf585754db3a35
[INFO] running `Command { std: "docker" "start" "-a" "fce1415ee93abf4a481fee3aea68e8314e095f6e495bc3e09edf585754db3a35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fce1415ee93abf4a481fee3aea68e8314e095f6e495bc3e09edf585754db3a35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fce1415ee93abf4a481fee3aea68e8314e095f6e495bc3e09edf585754db3a35", kill_on_drop: false }`
[INFO] [stdout] fce1415ee93abf4a481fee3aea68e8314e095f6e495bc3e09edf585754db3a35
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5e48f7e7aa1aa688e4d30bb796ff2d820b6e74d2d88058209983696ac99b073a
[INFO] running `Command { std: "docker" "start" "-a" "5e48f7e7aa1aa688e4d30bb796ff2d820b6e74d2d88058209983696ac99b073a", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling ryu v1.0.20
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling fsize v1.0.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling console v0.15.8
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling prolog-squared v1.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [optimized + debuginfo] target(s) in 36.03s
[INFO] running `Command { std: "docker" "inspect" "5e48f7e7aa1aa688e4d30bb796ff2d820b6e74d2d88058209983696ac99b073a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e48f7e7aa1aa688e4d30bb796ff2d820b6e74d2d88058209983696ac99b073a", kill_on_drop: false }`
[INFO] [stdout] 5e48f7e7aa1aa688e4d30bb796ff2d820b6e74d2d88058209983696ac99b073a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f176dbba3d0965b33392770cc312175a2e5b3c0dc59e2d6fa3185324b82f17c4
[INFO] running `Command { std: "docker" "start" "-a" "f176dbba3d0965b33392770cc312175a2e5b3c0dc59e2d6fa3185324b82f17c4", kill_on_drop: false }`
[INFO] [stderr]    Compiling prolog-squared v1.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `Cell`
[INFO] [stdout]    --> src/heap/heap.rs:580:10
[INFO] [stdout]     |
[INFO] [stdout] 580 |         {Cell, Heap, Tag, EMPTY_LIS},
[INFO] [stdout]     |          ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `clause::Clause`
[INFO] [stdout]   --> src/resolution/constraint_tests.rs:21:15
[INFO] [stdout]    |
[INFO] [stdout] 21 |     program::{clause::Clause, hypothesis::Hypothesis, predicate_table::PredicateTable},
[INFO] [stdout]    |               ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/resolution/constraint_tests.rs:182:9
[INFO] [stdout]     |
[INFO] [stdout] 182 |     let mut heap: Vec<Cell> = vec![
[INFO] [stdout]     |         ----^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/resolution/constraint_tests.rs:410:13
[INFO] [stdout]     |
[INFO] [stdout] 410 |         let mut non_meta_var_indices: Vec<usize> = Vec::new();
[INFO] [stdout]     |             ----^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `non_meta_var_indices`
[INFO] [stdout]    --> src/resolution/constraint_tests.rs:410:13
[INFO] [stdout]     |
[INFO] [stdout] 410 |         let mut non_meta_var_indices: Vec<usize> = Vec::new();
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_non_meta_var_indices`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 19.42s
[INFO] running `Command { std: "docker" "inspect" "f176dbba3d0965b33392770cc312175a2e5b3c0dc59e2d6fa3185324b82f17c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f176dbba3d0965b33392770cc312175a2e5b3c0dc59e2d6fa3185324b82f17c4", kill_on_drop: false }`
[INFO] [stdout] f176dbba3d0965b33392770cc312175a2e5b3c0dc59e2d6fa3185324b82f17c4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 20ceba8e0013289bbb702d7857d760dccf763ec12b62e15247a8a6f5e5d5bead
[INFO] running `Command { std: "docker" "start" "-a" "20ceba8e0013289bbb702d7857d760dccf763ec12b62e15247a8a6f5e5d5bead", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `Cell`
[INFO] [stderr]    --> src/heap/heap.rs:580:10
[INFO] [stderr]     |
[INFO] [stderr] 580 |         {Cell, Heap, Tag, EMPTY_LIS},
[INFO] [stderr]     |          ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `clause::Clause`
[INFO] [stderr]   --> src/resolution/constraint_tests.rs:21:15
[INFO] [stderr]    |
[INFO] [stderr] 21 |     program::{clause::Clause, hypothesis::Hypothesis, predicate_table::PredicateTable},
[INFO] [stderr]    |               ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/resolution/constraint_tests.rs:182:9
[INFO] [stderr]     |
[INFO] [stderr] 182 |     let mut heap: Vec<Cell> = vec![
[INFO] [stderr]     |         ----^^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/resolution/constraint_tests.rs:410:13
[INFO] [stderr]     |
[INFO] [stderr] 410 |         let mut non_meta_var_indices: Vec<usize> = Vec::new();
[INFO] [stderr]     |             ----^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `non_meta_var_indices`
[INFO] [stderr]    --> src/resolution/constraint_tests.rs:410:13
[INFO] [stderr]     |
[INFO] [stderr] 410 |         let mut non_meta_var_indices: Vec<usize> = Vec::new();
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_non_meta_var_indices`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `prolog-squared` (lib test) generated 5 warnings (run `cargo fix --lib -p prolog-squared --tests` to apply 5 suggestions)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/prolog2-813c8a28028033a1)
[INFO] [stdout] 
[INFO] [stdout] running 118 tests
[INFO] [stdout] test examples::map ... ok
[INFO] [stdout] test heap::heap::tests::encode_argument_variable ... ok
[INFO] [stdout] test examples::odd_even ... ok
[INFO] [stdout] test heap::heap::tests::encode_constant ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_constant_symbol ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_variable_symbol ... ok
[INFO] [stdout] test examples::learn_map_double ... ok
[INFO] [stdout] test heap::heap::tests::encode_tuple ... ok
[INFO] [stdout] test heap::heap::tests::encode_functor ... ok
[INFO] [stdout] test heap::heap::tests::encode_ref_variable ... ok
[INFO] [stdout] test parser::build_tree::tests::grouped_expression ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_all_clauses ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_constant_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_fact ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_list_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_fact ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_atom_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_directive ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule_with_unconstrained_list ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_number_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_rule ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_tuple ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_set_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_variable_term ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_string_term ... ok
[INFO] [stdout] test parser::build_tree::tests::tuple_or_grouped_expression ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_atom ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_set ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_list ... ok
[INFO] [stdout] test parser::build_tree::tests::unclosed_tuple ... ok
[INFO] [stdout] test parser::build_tree::tests::parse_meta_rule_list_only ... ok
[INFO] [stdout] test heap::heap::tests::encode_set ... ok
[INFO] [stdout] test examples::fsm_parity ... ok
[INFO] [stdout] test parser::execute_tree::tests::rules ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_argument ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_ref ... ok
[INFO] [stdout] test heap::heap::tests::dereference ... ok
[INFO] [stdout] test heap::symbol_db::tests::known_symbols ... ok
[INFO] [stdout] test parser::term::encode_tests::encode_unit ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_list ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_functor ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_set ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_list ... ok
[INFO] [stdout] test parser::term::encode_tests::program_encode_tuple ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_functor ... ok
[INFO] [stdout] test heap::heap::tests::encode_list ... ok
[INFO] [stdout] test parser::tokeniser::tests::empty_list_token ... ok
[INFO] [stdout] test parser::tokeniser::tests::empty_set_token ... ok
[INFO] [stdout] test parser::tokeniser::tests::list_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::multi_line_comments ... ok
[INFO] [stdout] test parser::tokeniser::tests::negative_number_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::single_line_comments ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_tuple ... ok
[INFO] [stdout] test parser::tokeniser::tests::string_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::tokenise_multiple_clauses ... ok
[INFO] [stdout] test parser::tokeniser::tests::unclosed_multi_line_comments ... ok
[INFO] [stdout] test parser::tokeniser::tests::unclosed_strings ... ok
[INFO] [stdout] test parser::tokeniser::tests::float_tokenisation ... ok
[INFO] [stdout] test parser::tokeniser::tests::known_symbol_formation ... ok
[INFO] [stdout] test program::predicate_table::tests::add_clause_to_predicate ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_facts ... ok
[INFO] [stdout] test parser::execute_tree::tests::facts ... ok
[INFO] [stdout] test program::predicate_table::tests::get_predicate ... ok
[INFO] [stdout] test program::predicate_table::tests::insert_predicate_function ... ok
[INFO] [stdout] test resolution::build::tests::args ... ok
[INFO] [stdout] test program::predicate_table::tests::find_predicate ... ok
[INFO] [stdout] test program::predicate_table::tests::get_body_clauses ... ok
[INFO] [stdout] test program::predicate_table::tests::set_body ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules_list_only ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules ... ok
[INFO] [stdout] test parser::execute_tree::tests::meta_rules_with_unconstrained_list ... ok
[INFO] [stdout] test program::predicate_table::tests::remove_predicate ... ok
[INFO] [stdout] test resolution::build::tests::lists ... ok
[INFO] [stdout] test resolution::build::tests::meta_vars ... ok
[INFO] [stdout] test resolution::build::tests::test1 ... ok
[INFO] [stdout] test resolution::build::tests::test2 ... ok
[INFO] [stdout] test resolution::constraint_tests::child_goal_q_matches_hypothesis_e_different_addr ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_different_constants_pass ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_refs_to_same_symbol_different_con_addrs ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_same_constant_fail ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_three_vars_two_same ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_with_different_substitution_bindings_pass ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_with_garbage_zero_addresses ... ok
[INFO] [stdout] test heap::symbol_db::tests::insert_string ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_with_substitution_bindings ... ok
[INFO] [stdout] test resolution::constraint_tests::cross_clause_constraint_check ... ok
[INFO] [stdout] test resolution::constraint_tests::first_clause_unprotected ... ok
[INFO] [stdout] test parser::build_tree::tests::infix_order ... ok
[INFO] [stdout] test resolution::constraint_tests::no_self_constraint_check ... ok
[INFO] [stdout] test resolution::constraint_tests::parse_simple_metarule_meta_vars ... ok
[INFO] [stdout] test resolution::constraint_tests::parse_trains_metarule_structure ... ok
[INFO] [stdout] test resolution::constraint_tests::proposed_self_constraint_check ... ok
[INFO] [stdout] test resolution::constraint_tests::same_address_correctly_caught ... ok
[INFO] [stdout] test resolution::constraint_tests::same_symbol_different_address_bypasses_constraint ... ok
[INFO] [stdout] test resolution::constraint_tests::same_symbol_different_address_via_heap_bind ... ok
[INFO] [stdout] test resolution::constraint_tests::trains_bug_metarule_self_reference ... ok
[INFO] [stdout] test resolution::constraint_tests::unsafe_unwrap_on_unset_args ... ok
[INFO] [stdout] test resolution::unification::tests::binding_chain_ref ... ok
[INFO] [stdout] test parser::tokeniser::tests::string_escape_characters ... ok
[INFO] [stdout] test resolution::constraint_tests::constraint_check_follows_heap_bindings ... ok
[INFO] [stdout] test resolution::constraint_tests::constraint_creation_from_metarule_match ... ok
[INFO] [stdout] test resolution::constraint_tests::constraint_detects_q_binding_to_e ... ok
[INFO] [stdout] test resolution::unification::tests::func ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_refs_to_same_target_fail ... ok
[INFO] [stdout] test resolution::unification::tests::integers ... ok
[INFO] [stdout] test resolution::unification::tests::list ... ok
[INFO] [stdout] test parser::term::encode_tests::query_encode_set ... ok
[INFO] [stdout] test resolution::unification::tests::tup ... ok
[INFO] [stdout] test resolution::constraint_tests::full_build_flow_traces_arg_population ... ok
[INFO] [stdout] test resolution::unification::tests::arg_to_ref ... ok
[INFO] [stdout] test resolution::constraint_tests::constraint_timing_during_proof ... ok
[INFO] [stdout] test resolution::unification::tests::arg ... ok
[INFO] [stdout] test resolution::constraint_tests::constraints_same_symbol_different_addresses ... ok
[INFO] [stdout] test examples::ancestor ... ok
[INFO] [stdout] test examples::top_prog_trains ... ok
[INFO] [stdout] test examples::trains ... ok
[INFO] [stdout] test examples::top_prog_robots has been running for over 60 seconds
[INFO] [stdout] test examples::top_prog_robots ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 118 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 60.70s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/prolog2-1e7259877992e844)
[INFO] [stderr]    Doc-tests prolog2
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test src/app.rs - app::App (line 96) - compile ... ok
[INFO] [stdout] test src/lib.rs - (line 13) - compile ... ok
[INFO] [stdout] test src/predicate_modules/mod.rs - predicate_modules::PredicateModule (line 49) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "20ceba8e0013289bbb702d7857d760dccf763ec12b62e15247a8a6f5e5d5bead", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "20ceba8e0013289bbb702d7857d760dccf763ec12b62e15247a8a6f5e5d5bead", kill_on_drop: false }`
[INFO] [stdout] 20ceba8e0013289bbb702d7857d760dccf763ec12b62e15247a8a6f5e5d5bead
